-
1 type-checking
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > type-checking
-
2 type checking
= type check; = type-checkingконтроль типов, проверка типа, проверка соответствия типовпроверка, выполняемая при компиляции или интерпретации (dynamic typing) программы, определяющая допустимость заданных типов данных в операторах программы.Internal type checker validates code after transformations. — Встроенный модуль контроля типов позволяет удостовериться в корректности кода после преобразований см. тж. data type, strong typing, typed language, type error
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > type checking
-
3 type checking
checking circuit — цепь контроля; цепь проверки
English-Russian dictionary of Information technology > type checking
-
4 type checking
-
5 type checking
проверка типаСм. система типов (type system). -
6 type checking
Большой англо-русский и русско-английский словарь > type checking
-
7 type-checking
Большой англо-русский и русско-английский словарь > type-checking
-
8 type checking
1) Компьютерная техника: контроль типов2) Вычислительная техника: проверка типов3) Нефть: контроль соответствия типов4) Программирование: контроль (соответствия) типов, проверка типа (система типов) -
9 type-checking
Вычислительная техника: контроль типов -
10 type checking
вчт проверка типов -
11 type checking
вчт. проверка типовThe New English-Russian Dictionary of Radio-electronics > type checking
-
12 type checking
контроль типов, см. static typing, dynamic typingEnglish-Russian dictionary of computer science and programming > type checking
-
13 type-checking
English-Russian dictionary of computer science and programming > type-checking
-
14 type checking
Англо-русский словарь нефтегазовой промышленности > type checking
-
15 type checking
English-Russian dictionary of terms that are used in computer games > type checking
-
16 type checking
контроль типовEnglish-Russian dictionary of technical terms > type checking
-
17 type-checking
-
18 type checking
English-Russian dictionary of computer science > type checking
-
19 type-checking
English-Russian dictionary of computer science > type-checking
-
20 static type checking
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > static type checking
См. также в других словарях:
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to … Wikipedia
Type theory — In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general. In programming language theory, a branch of computer science … Wikipedia
Checking (ice hockey) — Checking in ice hockey is any one of a number of defensive techniques. It is usually not a penalty. Contents 1 Types 2 New NHL standard of rule enforcement, 2005–2006 3 External links 4 … Wikipedia
Checking on the Moon — Author(s) Jenny Davis Country … Wikipedia
Dependent type — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
checking account — n. US a current account at a bank. Etymology: CHECK(3) * * * noun, pl ⋯ counts [count] US : a bank account from which you can take money by writing checks called also (Brit) current account * * * ˈchecking account [checking account checking… … Useful english dictionary
Type safety — In computer science, type safety is a property of some programming languages that is defined differently by different communities, but most definitions involve the use of a type system to prevent certain erroneous or undesirable program behavior… … Wikipedia
Nominative type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Type introspection — In computing, type introspection is a capability of some object oriented programming languages to determine the type of an object at runtime. This is a notable capability of the Objective C language, and is a common feature in any language that… … Wikipedia
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia
